Random $f$-Expansions

Random F-Expansions

Eta-expansions Iii | F !

The use of expansionary-rewrite rules in various typed-calculi has become increasingly common in recent years as their advantages over contractive-rewrite rules have become apparent. Not only does one obtain simultaneously a decision procedure for-equality and a procedure for the calculation of the long-normal form of a term, but rewrite relations using expansions retain key properties when com...

F - Expansions of rationals

The ergodic theorem has been used to deduce results about the F-expansions of almost all x in (0, 1)". A simple lemma from measure theory yields some corresponding statements about the expansions of the rationals, a set of measure zero.

Eta Expansions in System F

Fibonacci Expansions and "f-adic" Integers

A Fibonacci expansion of a nonnegative integer n is an expression of n as a sum of Fibonacci numbers Fk with k > 2. It may be thought of as a partition of n into Fibonacci parts. The most commonly studied such expansion is the unique one in which the parts are all distinct and no two consecutive Fibonacci numbers appear. C. G. Lekkerkerker first showed this expansion was unique in 1952 [5]. The...